Graph-Based Shape Analysis Beyond Context-Freeness

We develop a shape analysis for reasoning about relational properties of data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is parameterized by user-supplied indexed graph grammars to guide concretization and abstraction. This novel extension of context-free graph grammars is powerful enough to model complex data structures such as balanced binary trees with parent pointers, while preserving most desirable properties of context-free graph grammars. One strength of our analysis is that no artifacts apart from grammars are required from the user; it thus offers a high degree of automation. We implemented our analysis and successfully applied it to various programs manipulating AVL trees, (doubly-linked) lists, and combinations of both

Combination of oncolytic adenovirus and luteolin exerts synergistic antitumor effects in colorectal cancer cells and a mouse model

In recent years, oncolytic viruses have attracted increasing interest due to their potent antitumor effects. Luteolin, a natural product, has additionally been observed to exhibit various pharmacological antitumor activities. Previously, a novel dual-targeting oncolytic adenovirus, complement decay-accelerating factor (CD55)-tumor necrosis factor ligand superfamily member 10 (TRAIL), was constructed, which exhibited significant growth inhibitory effects in various types of tumor cell. The present study investigated whether the combination of luteolin and CD55-TRAIL was able to exert a synergistic antitumor effect in colorectal carcinoma (CRC) cells. The cytotoxicity and tumor cell apoptosis mediated by combination treatment in CRC cells were detected via an MTT assay, Hoechst staining and western blotting, respectively. Tumor growth in vivo was examined in a CRC mouse xenograft model following various treatments. The results demonstrated that the addition of luteolin enhanced oncolytic adenovirus-mediated enhanced green fluorescent protein, early region 1A and TRAIL expression. The combination of CD55-TRAIL with luteolin synergistically inhibited tumor growth and promoted CRC cellular apoptosis in vitro and in vivo. Additionally, the combination of CD55-TRAIL with luteoli n significa ntly decrea sed cy totoxicit y in lung/bronchial normal epithelial cells, compared with single treatment

Resonance phenomena in ultracold dipole-dipole scattering

Elastic scattering resonances occurring in ultracold collisions of either bosonic or fermionic polar molecules are investigated. The Born-Oppenheimer adiabatic representation of the two-bodydynamics provides both a qualitative classification scheme and a quantitative WKB quantization condition that predicts several sequences of resonant states. It is found that the near-threshold energy dependence of ultracold collision cross sections varies significantly with the particle exchange symmetry, with bosonic systems showing much smoother energy variations than their fermionic counterparts. Resonant variations of the angular distributions in ultracold collisions are also described.Comment: 19 pages, 6 figures, revtex4, submitted to J. Phys.

Magnetic Quantum Dot: A Magnetic Transmission Barrier and Resonator

We study the ballistic edge-channel transport in quantum wires with a magnetic quantum dot, which is formed by two different magnetic fields B^* and B_0 inside and outside the dot, respectively. We find that the electron states located near the dot and the scattering of edge channels by the dot strongly depend on whether B^* is parallel or antiparallel to B_0. For parallel fields, two-terminal conductance as a function of channel energy is quantized except for resonances, while, for antiparallel fields, it is not quantized and all channels can be completely reflected in some energy ranges. All these features are attributed to the characteristic magnetic confinements caused by nonuniform fields.Comment: 4 pages, 4 figures, to be published in Physical Review Letter

Hall conductance of Bloch electrons in a magnetic field

We study the energy spectrum and the quantized Hall conductance of electrons in a two-dimensional periodic potential with perpendicular magnetic field WITHOUT neglecting the coupling of the Landau bands. Remarkably, even for weak Landau band coupling significant changes in the Hall conductance compared to the one-band approximation of Hofstadter's butterfly are found. The principal deviations are the rearrangement of subbands and unexpected subband contributions to the Hall conductance.Comment: to appear in PRB; Revtex, 9 pages, 5 postscript figures; figures with better resolution may be obtained from http://www.chaos.gwdg.d

Effects of the field modulation on the Hofstadter's spectrum

We study the effect of spatially modulated magnetic fields on the energy spectrum of a two-dimensional (2D) Bloch electron. Taking into account four kinds of modulated fields and using the method of direct diagonalization of the Hamiltonian matrix, we calculate energy spectra with varying system parameters (i.e., the kind of the modulation, the relative strength of the modulated field to the uniform background field, and the period of the modulation) to elucidate that the energy band structure sensitively depends on such parameters: Inclusion of spatially modulated fields into a uniform field leads occurrence of gap opening, gap closing, band crossing, and band broadening, resulting distinctive energy band structure from the Hofstadter's spectrum. We also discuss the effect of the field modulation on the symmetries appeared in the Hofstadter's spectrum in detail.Comment: 7 pages (in two-column), 10 figures (including 2 tables

A nested alignment graph kernel through the dynamic time warping framework

In this paper, we propose a novel nested alignment graph kernel drawing on depth-based complexity traces and the dynamic time warping framework. Specifically, for a pair of graphs, we commence by computing the depth-based complexity traces rooted at the centroid vertices. The resulting kernel for the graphs is defined by measuring the global alignment kernel, which is developed through the dynamic time warping framework, between the complexity traces. We show that the proposed kernel simultaneously considers the local and global graph characteristics in terms of the complexity traces, but also provides richer statistic measures by incorporating the whole spectrum of alignment costs between these traces. Our experiments demonstrate the effectiveness and efficiency of the proposed kernel

Two-dimensional spin systems in PECVD-grown diamond with tunable density and long coherence for enhanced quantum sensing and simulation

Systems of spins engineered with tunable density and reduced dimensionality enable a number of advancements in quantum sensing and simulation. Defects in diamond, such as nitrogen-vacancy (NV) centers and substitutional nitrogen (P1 centers), are particularly promising solid-state platforms to explore. However, the ability to controllably create coherent, two-dimensional spin systems and characterize their properties, such as density, depth confinement, and coherence is an outstanding materials challenge. We present a refined approach to engineer dense ($\gtrsim$1 ppm$\cdot$nm), 2D nitrogen and NV layers in diamond using delta-doping during plasma-enhanced chemical vapor deposition (PECVD) epitaxial growth. We employ both traditional materials techniques, e.g. secondary ion mass spectrometry (SIMS), alongside NV spin decoherence-based measurements to characterize the density and dimensionality of the P1 and NV layers. We find P1 densities of 5-10 ppm$\cdot$nm, NV densities between 1 and 3.5 ppm$\cdot$nm tuned via electron irradiation dosage, and depth confinement of the spin layer down to 1.6 nm. We also observe high (up to 42$\%$) conversion of P1 to NV centers and reproducibly long NV coherence times, dominated by dipolar interactions with the engineered P1 and NV spin baths

Large scale fabrication of nitrogen vacancy-embedded diamond nanostructures for single-photon source applications

Some color centers in diamond can serve as quantum bits which can be manipulated with microwave pulses and read out with laser, even at room temperature. However, the photon collection efficiency of bulk diamond is greatly reduced by refraction at the diamond/air interface. To address this issue, we fabricated arrays of diamond nanostructures, differing in both diameter and top end shape, with HSQ and Cr as the etching mask materials, aiming toward large scale fabrication of single-photon sources with enhanced collection efficiency made of nitrogen vacancy (NV) embedded diamond. With a mixture of O2 and CHF3 gas plasma, diamond pillars with diameters down to 45 nm were obtained. The top end shape evolution has been represented with a simple model. The tests of size dependent single-photon properties confirmed an improved single-photon collection efficiency enhancement, larger than tenfold, and a mild decrease of decoherence time with decreasing pillar diameter was observed as expected. These results provide useful information for future applications of nanostructured diamond as a single-photon source